//#include<stdio.h>
//int main()
//{
//	int year,month,day;
//	scanf("%d%*c%d%*c%d",&year,&month,&day);
//	printf("%d/%d/%d\n",year,month,day);
//	return 0;
//}